C language theory questions